#include "Tags.h"

const char* tag::Void       = "";
const char* tag::QMachine   = "MACHINE";

const char* tag::QGlobal    = "GLOBAL";
const char* tag::QChannel   = "CHANNEL";
const char* tag::QProperty  = "PROPERTY";
const char* tag::QState     = "S";
const char* tag::QInitial   = "I";
const char* tag::AName      = "name";

const char* tag::QTransfer  = "TR";
const char* tag::ADest      = "dest";

const char* tag::QChar      = "char";
const char* tag::AType      = "type";
const char* tag::AValue     = "value";

const char* tag::QAction    = "action";
const char* tag::QProcedure = "procedure";
const char* tag::AAction    = "action";
const char* tag::AObject    = "object";
const char* tag::AChar      = "char";
const char* tag::AChannel   = "channel";

const char* tag::AExit      = "exit";